Proof Theory: The First Step into Impredicativity